翻訳と辞書
Words near each other
・ spanning tree algorithm
・ spar
・ sparc
・ sparc international, inc.
・ sparc xterminal 1
・ sparcstation
・ sparcstation 10
・ sparcstation 20
・ sparcsystem 4
・ spark
spark annotation language
・ sparks
・ sparse
・ spatial technologies
・ spawn
・ spc
・ spd
・ spdl
・ spe
・ speakeasy


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

spark annotation language : FOLDOC
SPARK Annotation Language
(SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.
(1994-12-08)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.